x86: calculate PV CR4 masks at boot
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 7 Jul 2015 12:28:00 +0000 (14:28 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 7 Jul 2015 12:28:00 +0000 (14:28 +0200)
commit12f432db631535792caf1ec5b02240077c4d8380
tree0ad0a8db6218f38f37627544ad06bd25ba476443
parente4e9d2d4e76bd8fe229c124bd57fc6ba824271b3
x86: calculate PV CR4 masks at boot

... rather than on every time a guest sets CR4.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/domain.c